Guided linking: dynamic linking without the costs
نویسندگان
چکیده
منابع مشابه
Choice in Dynamic Linking
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of choice leads to interesting difficulties—some known from proof theory and others specific to the programming-language perspective that we develop. We therefore emphasize an important special case, restricting the nesting...
متن کاملFlexible Dynamic Linking
Dynamic linking, as in Java and C#, allows users to execute the most recent versions of software without re-compilation or re-linking. Dynamic linking is guided by type names stored in the bytecode. In current dynamic linking schemes, these type names are hard-coded into the bytecode. Thus, the bytecode reflects the compilation environment that produced it. However, the compilation environment ...
متن کاملChemical cross linking versus high energy electron beam cross linking of HDPE: electrical properties study
Cross linking of high density polyethylene (HDPE) was first performed via high energy10 Mev electron beam (EB) irradiation. HDPE was also cross linked withDicumyle peroxide (DCP).The gel content of samples was determined by solvent extraction.Degree of cross linking was evaluated by hot set apparatus; as well .In order to clarify the effectof nature of cross linking, correlation of electrical p...
متن کاملDynamic Linking of Software Components
I n recent years operating systems have again begun to link software libraries to client programs dynamically at execution time. The concepts underlying dynamic linking date back at least to the Multics system 1 of the mid-1960s and have now been reintroduced in some of the most popular workstation and PC operating systems. Operating systems based on modular languages such as Mesa, 2 Modula-2, ...
متن کاملFlexible Dynamic Linking for .NET
A .NET application is a set of assemblies developed or reused by programmers, and tested together for correctness and performance. Each assembly’s references to other assemblies are type-checked at compile-time and embedded into the executable image, from where they guide the dynamic linking process. We propose that an application can potentially consist of multiple sets of assemblies, all know...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3428213